Resolution theorem proving
[计] 归结定理证明
🧩 词语组成解析
n. 决心;解决;坚决;分辨率;
re不+solut松开+ion名词后缀,构成抽象名词 → 决心;溶解
n. [数] 定理;(能证明的)一般原理,公理,定律,法则;
theor考虑 + em获得→考虑后获得的结果 → n.[数]定理, 法则
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
That's this dress. Borrowed from Marilyn.
那就是这件礼服。跟Marilyn借的。
Why are you disappointed?
你为什么灰心?
but other farms are less favorably sited, and flooding can sometimes spell disaster for their owners.
其他农场地势欠佳,洪水有时会给农场主带来灾难。
更多情景英语 ›